منابع مشابه
A Constructive Framework for Galois Connections
Abstract interpretation-based static analyses rely on abstract domains of program properties, suchas intervals or congruences for integer variables. Galois connections (GCs) between posets providethe most widespread and useful formal tool for mathematically specifying abstract domains. Recently,Darais and Van Horn [2016] put forward a notion of constructive Galois connection for...
متن کاملConstructive Connections between Anti-specker, Positivity, and Fan-theoretic Properties
Two weakenings of the anti-Specker property—a principle of some significance in constructive reverse mathematics—are introduced, examined, and in one case applied, within Bishop-style constructive mathematics. The weaker of these anti-Specker properties is shown to be equivalent to a very weak version of Brouwer’s fan theorem. This leads to a study of antitheses of various types of fan theorem—...
متن کاملConstructive Interactions Constructive Interactions
The new paradigm of “knowledge construction using experiential based and collaborative learning approaches” is an outstanding opportunity for interdisciplinary research. This document is an attempt to introduce and exemplify as much as possible using the lexicon of “social sciences”, considerations and tools belonging to “artificial intelligence” (e.g.: the machine learning tradition). In the p...
متن کاملConstructive Proofs or Constructive Statements?
In this work the following question is considered: is Sergeraert’s “Constructive Algebraic Topology” (CAT, in short) really constructive (in the strict logical sense of the word “constructive”)? We have not an answer to that question, but we are interested in the following: could have a positive (or negative) answer to the previous question an influence in the problem of proving the correctness...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Reviews Genetics
سال: 2005
ISSN: 1471-0056,1471-0064
DOI: 10.1038/nrg1719